The Quasi-Holonomic Ansatz and Restricted Lattice Walks
نویسندگان
چکیده
Comments: The great enumerator Germain Kreweras empirically discovered this intriguing fact, and then needed lots of pages[K], and lots of human ingenuity, to prove it. Other great enumerators, for example, Heinrich Niederhausen[N], Ira Gessel[G1], and Mireille Bousquet-Mélou[B], found other ingenious, “simpler” proofs. Yet none of them is as simple as ours! Our proof (with the generous help of our faithful computers) is “ugly” in the traditional sense, since it would be painful for a lowly human to follow all the steps. But according to our humble aesthetic taste, this proof is much more elegant, since it is (conceptually) one-line. So what if that line is rather long (a huge partial-recurrence equation satisfied by the general counting function), it occupies less storage than a very low-resolution photograph.
منابع مشابه
Two non-holonomic lattice walks in the quarter plane
We present two classes of random walks restricted to the quarter plane whose generating function is not holonomic. The non-holonomy is established using the iterated kernel method, a recent variant of the kernel method. This adds evidence to a recent conjecture on combinatorial properties of walks with holonomic generating functions. The method also yields an asymptotic expression for the numbe...
متن کاملClassifying lattice walks restricted to the quarter plane
This work considers lattice walks restricted to the quarter plane, with steps taken from a set of cardinality three. We present a complete classification of the generating functions of these walks with respect to the classes algebraic, transcendental holonomic and non-holonomic. The principal results are a new algebraic class related to Kreweras’ walks; two new non-holonomic classes; and enumer...
متن کاملG-functions and Multisum versus Holonomic Sequences
A holonomic (i.e., D-finite, or P -recursive) sequence is one that satisfies a linear recursion relation with polynomial coefficients. A multisum sequence is one that is given by a multisum of a proper hypergeometric term. A fundamental theorem of Wilf-Zeilberger states that every multisum sequence is holonomic. For over 15 years, it was accepted as a reasonable conjecture that the converse hol...
متن کاملAutomatic Classification of Restricted Lattice Walks
We propose an experimental mathematics approach leading to the computer-driven discovery of various structural properties of general counting functions coming from enumeration of walks.
متن کاملA PRELUDE TO THE THEORY OF RANDOM WALKS IN RANDOM ENVIRONMENTS
A random walk on a lattice is one of the most fundamental models in probability theory. When the random walk is inhomogenous and its inhomogeniety comes from an ergodic stationary process, the walk is called a random walk in a random environment (RWRE). The basic questions such as the law of large numbers (LLN), the central limit theorem (CLT), and the large deviation principle (LDP) are ...
متن کامل